Interface of Software Components with Internal Behaviors
نویسندگان
چکیده
We present an automata-based execution model describing the interaction and internal behaviors of software components extending our previous work with internal behaviors. In order to make the services provided by the component unblockable without knowing the implementation details, we propose an interface model that specifies all the unblockable interaction behaviors with any environment. To this end, we develop an algorithm to generate an interface model from any given execution model. Composition operators and refinement relation are also introduced based on this model, and we justify the refinement relation w.r.t substitution.
منابع مشابه
A numerical analysis of effect of segmental lining joints on tunnel support internal forces under seismic loading
During an earthquake, the better performance of segmental tunnel lining, compared to the continuous in-cast concrete lining, is generally related to the joints between segments. In order to better understand the influence of the segment joints, their effect on the internal forces induced in tunnel lining simultaneously with the effects of the other influential parameters should be considered. I...
متن کاملThe Standard Power Estimation Interface for Software Components
Modern software application being built up with standard software components and components developed. If these components are used on mobile devices, the energy consumption must be taken into account at the design. Mobile device power management concepts need a lot of system power information to work satisfactorily. Therefore we propose the Standard Power Estimation Interface for Software Comp...
متن کاملعناصر مهم در طراحی رابط کاربری، قابلیت استفاده و مسائل فنی پایگاهها در فاصله سالهای 93 تا 95
Introduction: Database design by taking into account the components of user interface, usability and technical issues, is a key indicator of quick access to the required information of the users. Ovid assessment criterion evaluates databases in terms of user interface, usability and technical issues. The purpose of the present paper is to determine the important elements in the design of user i...
متن کاملDesigning Adaptive Mobile Applications: Abstract Components and Composite Behaviors
Current commercial software frameworks for the development of mobile applications targeted at heterogeneous devices are based on a paradigm of abstract user interface components (or ‘controls’) that change its rendering depending on device characteristics. In this paper, we approach the problem of extending that paradigm to handle adaptiveness to user models for the purpose of improving usabili...
متن کاملPETSc and Overture: Lessons Learned Developing an Interface between Components
We consider two software packages that interact with each other as components: Overture and PETSc. An interface between these two packages could be of tremendous value to application developers in that Overture provides a simple mechanism for generating the large, sparse systems of linear equations that correspond to discretizations of a PDE, and PETSc provides a powerful collection of methods ...
متن کامل